منابع مشابه
Oracle-Based Partial Evaluation
We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an oracle function which compares the results of specializing such call pattern w.r.t. a set of strategies. Our proposal is motivated by Poly-Controlled Partial Evaluation (PCPE), which allows using different control stra...
متن کاملPartial Test Oracle in Model Transformation Testing
Writing test oracles for model transformations is a difficult task. First, oracles must deal with models which are complex data. Second, the tester cannot always predict the expected value of all the properties of the output model produced by a transformation. In this paper, we propose an approach to create efficient oracles for validating part of the produced output model. In this approach we ...
متن کاملOracle VM, Performance Evaluation of Oracle VM Server Virtualization Software
Premise: Server resources often are underutilized. It often is easy to accommodate the need for additional server resources by adding more hardware. But in today’s costconscious landscape, with an emphasis on energy efficiency and managing power consumption, server virtualization emerges as a viable solution to maximize server utilization, achieve efficiency, provide scalability, while also bei...
متن کاملExplanation-Based Generalisation = Partial Evaluation
We argue that explanation-based generalisation as recently proposed in the machine learning literature is essentially equivalent to partial evaluation, a well known technique in the functional and logic programming literature. We show this equivalence by analysing the definitions and underlying algorithms of both techniques, and by giving a Prolog program which can be interpreted as doing eithe...
متن کاملAn oracle-based attack on CAPTCHAs protected against oracle attacks
CAPTCHAs/HIPs are security mechanisms that try to prevent automatic abuse of services. They are susceptible to learning attacks in which attackers can use them as oracles. Kwon and Cha presented recently a novel algorithm that intends to avoid such learning attacks and “detect all bots” [6]. They add uncertainties to the grading of challenges, and also use trap images designed to detect bots. T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.11.024